翻訳と辞書 |
Jeremy Avigad : ウィキペディア英語版 | Jeremy Avigad
Jeremy Avigad is a Professor of Philosophy at Carnegie Mellon University. He received a B.A. in Mathematics from Harvard in 1989, and a Ph.D. in Mathematics from the University of California at Berkeley in 1995 under the supervision of Jack Silver.〔(Mathematics Genealogy Project )〕 He has contributed to the areas of mathematical logic and foundations, formal verification and interactive theorem proving, and the philosophy and history of mathematics.〔(Jeremy Avigad's official website ) at Carnegie Mellon University〕 == References ==
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Jeremy Avigad」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|